面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

化学-电喷双模推进系统的研究现状及展望

传统的化学推进和电推进拥有不同的特点及适用范围。化学推进可以产生毫牛级至牛级推力，相比于电推进，推力大，推力范围宽；电推进比冲高达上千秒，最小可以产生微牛级推力。但两种模式单独执行任务有一定的局限性，难以完成较为复杂的航天任务。化学推进与电推进相结合的双模推进系统，同时拥有高比冲和较宽的推力范围，为航天器提供了更高的任务灵活性，其中单组元液体火箭发动机 离子液体电喷推力器双模推进系统近年来受到广泛关注。简述了单组元 电喷双模推进系统的工作原理和特点，重点总结了国内外关于双模推进的研究现状，并对目前面临的问题与挑战进行分析。     

Study of highly perturbed spacecraft formation dynamics via approximation

This paper explores methods for approximating and analyzing the dynamics of highly perturbed spacecraft formations with an emphasis on computationally efficient approaches. This facilitates on-board computation or rapid preliminary mission design analysis. Perturbed formation dynamics are often approximated as linear time-varying (LTV) systems, for which Floquet theory can be used to analyze the degree of system instability. Furthermore, the angular momentum of the relative orbital state can be computed with the approximate dynamics to provide additional insight. A general methodology is developed first and then applied to the problem of unstable formation dynamics in asteroid orbits. Here the dominant perturbative effects due to low-order gravitational harmonics and solar radiation pressure are modeled. Numerical simulations validate the approach and illustrate the approximation accuracy achieved.     

Fully distributed time-varying formation tracking control for multiple quadrotor vehicles via finite-time convergent extended state observer

This paper investigates a time-varying anti-disturbance formation problem for a group of quadrotor aircrafts with time-varying uncertainties and a directed interaction topology. A novel Finite-Time Convergent Extended State Observer (FTCESO) based fully-distributed formation control scheme is proposed to enhance the disturbance rejection and the formation tracking performances for networked quadrotors. By adopting the hierarchical control strategy, the multi-quadrotor system is separated into two subsystems: the outer-loop cooperative subsystem and the inner-loop attitude subsystem. In the outer-loop subsystem, with the estimation of disturbing forces and uncertain dynamics from FTCESOs, an adaptive consensus theory based cooperative controller is exploited to ensure the multiple quadrotors form and maintain a time-varying pattern relying only on the positions of the neighboring aircrafts. In the inner-loop subsystem, the desired attitude generated by the cooperative control law is stably tracked under a FTCESO-based attitude controller in a finite time. Based on a detailed algorithm to specify the cooperative control protocol, the feasibility condition to achieve the time-varying anti-disturbance formation tracking is derived and the rigorous analysis of the whole closed-loop multi-quadrotor system is given. Some numerical examples are conducted to intuitively demonstrate the effectiveness and the improvements of the proposed control framework.     

FDI飞机舵面损伤故障全局检测的非线性数学模型

阐述了飞机在单舵面损伤故障下 ,建立故障状态下的数学模型 ,以及同样输入条件下飞机正常运动时的数学模型 ,得到飞机在相同飞行条件下损伤时的气动系数和无损伤正常时的气动系数 ,最终得到气动系数的残差。这将为以后飞机过载残差和角加速度残差奠定基础。论文中结合一定的算例给予证实推论的正确性。     

Wave-Particle-Electric Field Synergetic Auroral Electron Acceleration

Space Science Reviews - We discuss afresh the problem of the auroral electron acceleration based on the controversy reports of Bryant, D. A. et al.: 1992, Phys. Rev. Lett. 68, 37, and Borovsky, J.:...     

弧焊电源动态特性测试方法的研究

本文对弧焊特性、特别是它的动特性进行了讨论，与过去传统的时域法不同，文中提出了用频域法分析弧焊的电源特性的设想，文内中方法的理论、实验方法及实测结果进行了讨论。     

风量与风机的安全运行

本文阐明了离心式通风机在通风除尘(或排毒净化)系统中的作用,以及离心式通风机产生风压.风量的工作工程,从而引出风机的性能参数风量L、风压P、功率N、效率η等.文章突出地论述了风量对风压、功率、效率的影响;详尽地分析了离心式通风机的性能曲线,特别是N—L曲线;根据性能曲线分析得知,风量L为零(L=0)时,风消耗的功率N最小.从而得出结论;系统中的离心式通风机必须是在关闭状态下启动,以确保通风机的安全运行.     

求解含多个右端向量非对称线性方程组的自适应块拟最小残量IOM(q)算法

许多实际应用问题需要求解含多个右端向量的大型非对称线性方程组 ,通常是把原来方程组分成单独几个含一个右端向量的方程组 ,再用某种迭代法分别单个求解 ,而更加经济有效的方法是应用能同时产生几个迭代向量的块迭代法来直接求解。本文在 IOM(q)算法的基础上 ,提出一种求解此类方程组的块拟最小残量 IOM(q)算法 ,讨论了如何收缩掉已收敛的部分方程组以及如何从产生的块 Krylov序列中删除线性相关或几乎线性相关向量的自适应技术。数值试验表明 ,此新的自适应块算法比块 GMRES算法及其他相关算法具有更好的收敛行为、更少的计算量和 CPU计算时间 ,是求解此类方程组的一种更加经济有效的算法。     

电子设备的"三防"设计

本文针对电子设备的"三防"性能设计问题,从不同方面阐述实现电子设备的"三防"性能的方法和措施.